Decapsulation -- ML-KEM-512
dk: 174313EFA93520E28A7076C888096E02B0BDD86830497B61FDEAB6209C6CF71C625C4680775C3477581C427A6FE1B0356EAB048BCA434F83B542C8B860010696A57299BB262268891FFC72142CA1A866185CA82D05406695BA57D4C930F9C17D6223523CF5A4F2A433A364459AC0ACDE7254481329288B1BE187CC25219F48C2443C532199859355320D04F0B80DE969F169A3D2BA3411B4ADBC01B66271824CD9543C78BA4804AE81F3AF00336C5CC3698354C0E01873A2A17D6A95A312689A99DC89084150A8D52BB31C3FF3D4215FA3C4111B401992866E513E5128A20ED95FDEE61485DC937E099D76F79B92734DC4CBB9A7A413FEA6285BC0C27C961E47D1983644C4BF913D72F4B030D34738427263E87AB4C0B7DF0B72CA8AA0BAA67B079939D587801D60C87A20405E5C52603C072FDB63E2E1C2A95CC26F5ABEF6088333800886D093CA01A76F57005E053569542E0A076B98736D4D39B00FC1653FBC2D12EA32A94B9B92C68BA4B68A4E7B370A23B03FE8221639B01244806C27067A58031DB80D2D03661A017BB46BB3711ACB568A4FABEBAFC5FA06F7CA0E4D962E3170CB11C0A8D18A09CE27A6A9763E123885450224DE07CC17546C17951FDE476E083583EF10BF76A98AFFF9B12DB5401CD3673495392D741291C3AA78420C8A7CB5FFE65012997C4DA4322EA90B5014B5B4D0180100247047341E4C24B96B8D7C0020524B7C1D66C3E08CB299EB4EC6FA0EE8EA05FD430F57605E892B232D2047CA9B4ECAD9BDD09C9951196916525D1EC921B6E3CE0EE692EBA728B4DB10F3381FBF584ABB7B6A9210C7C424CE4A369370CB48D608634ABA0BFF91C5620A1189D0CA97421D423429FB663952DC1231B4362B7162FE3A42111C91D76A964CB4154194209EDBAA1F481BD126C325D15678E39BCCE4C704EA487246648A6C6C2540B5F680A35EE2824246450A7293F21A90CFD14EFAF78FA3D7322251C641A50E95BB5EC5CA0B60E89D7C18B7A44A0FAFB4BCADE9B588D1B7FCF12BA1E1084D56B197EA90A79A3D83927A2307603BC211C0830CB7062C04254824575B226CAD9A27C2A45519AE39546467690485498A320AD56993B15A9D22C6191446CB40AA7547401681DCC7E36596B10C07FA2A20B43C4B0124401F8A0E744878C7296623C7395B6994D18C4787A289DBB05CB1827451D83F072904537594F515CA1017991620A33E096EE0DC091AE4CA960603B101B5B4E23E9A5B65E1F6C2A8CC89341383B706725ED5B3485769181B8F76439C05636A0C3436FFBA8B86A5306FA111F6FC71EB779B25707CFAE0A6DA7B0AD5D94B10F21E4FCA92893B9FFE73210763401377837A10CA9625346C42ADC705BD92DB3426D926CE4B5EC24A5CDF27CB91E5A7E7164D1BDC99D75679FBC93A58F647DAC1086CE931BC089233E9487E0867BC58472B01BF2895C323B64DBE4A17A9E841B053CADB5C76D035724C321BBC13666F0A35DFDA0721E8987623256A994D95FA1C05F57C1E15A30C4A0C8318A0D83C410C362862E817DD6ABBAA4BBE75B736CCCBB4AF2A188402BD4CE597932008862865332562F324C7A424151FB59D0AE1821F2864C7E698127AAD92C33B313988C29A09E260449BCA7BEE360862314E47519EF3918DDDE403E7B92AC9908F93C6369CC5C47B8CB1DC3A3479C762F62A18FE05A9B0645A5311A01828723AEB51FA505E96B29E3D2B6E5B1327DE3A61AB0C50BE0124B64B33314B32D6122510E46445857AA0E2C4B0D256955620A8681D1E555126D00509E35BF59683DDAA40E82C519B855852C366CB54452BF910B001692330345708653F511800B10E009D9F7D10A53B8B30BF13B06F254EC8A6BA539700F6358DE0463A019540C9873F3F4680E2113A7CCC55FF754D85AA67E9E55F887424E0B2625682A5DDA218F03C3C10A246CDB0CC91D19D8F024DB9B1415F50ACD8F65DE2787B9103C575B687765572CFFA59026C2BCEE77423BCAFD3054BF8E2713FB85B0BF6A46E716152F5C9A3011EC90114C76B01516799BD5911415B704544077F188806755EEC4131E55556DB903F4284C1F90086FF431B68F51F629812F320B55F219D72A1928F38C9A1EC823BA198BA9ABBACF62902B3CA0AFC95EA8AC303FB8BDD29BB9D18A03BA44E58B1B0B85A2A1662E6A31DA7545511A478A18177889061EF76631264239ADEBD04A8C52B72E2B1F3A2DFBBD8C054E70CC2A742E7B7D417DFED314422187DE1B2954481195755EC04BB7671C4331446BBE8952514905321A2176E935B5420C0D5EA4465
c: 84A188A072E4D4F449A4BE170274DD2A5F3E356E95B96E40AD3FF1455E36C6A71E909DD2C0DFF8AD2C9F503BAC9065716248083BDA40CECB38E3B3058BAF51A7572384FF8406A8136A4FC6D912A54B2EB5B9D598FB689E72ED3DEFD2FF8355ED9E9CCA53E82C0886E094C592C392311F04FEC68F9A1C531CF3419030892B5BDCACEEF6A0E7F1BD44903F49DE8E37B02BA3FC5121D99F8CC3040F66832F77021B4CA35F7A4825038936564CA2E673FF9CC0519C25F6A52D87EDD965B2464AA365D2BF068B72FC68B65E88515E2C832BBDB27D61BF512B5FC2D8590FB35F49500CAFE70E7D0776B5C4E4503A7189ADBAFF5D5B515CC68B2F81D993C6D7FA7D3D1D90EBFF51DA3FBBB4430E5BBEDBCA8DA078DCE8EC815B168BFC09AB4A20678870F4868B1FAE28D209C75368A799317DFA08C2B651FAC72DCA2A1B4CBB75E873F15C51B6D0B5E6F5E60E2AF6C40D2CABCBF3588F44BCEA6D72D359F40F9CF5E0EC40A5215E5ACEEAF0DA00D923D4CEFF5C3A3AB1E46C754F4AE052C2BC49FDB4521AE44DF634D56E433DAD3DF3C07115406FF8BFD0D7C93B4941D0F09213C1681CFD5C8663DF02041A3CBD162F5C4D80CB1DC7D4A501AD06FE96EB348B6E331C8296FE904EB97C087456328D703B85BDAC2FB43C728D0B05FC54B8C155C010EF0DB14CC668D1B1BC727AF8864076736B898BABA1C81DCA2053F58587D3C4E33C694A264BE2897E7D2EEFADDA9FF88D70BF3731F1228CB3E131EB0CB76FDBD2CCB1CBC18D1450AC7A16349E7129CAB720D5CB70B56E855E8305DCDA730BBD0EA33EF0815D02190BB98E30F73BF7789CDD673C613B0C57CB2EF32E670A98D2D630670773C59D8A6A2CFCFF1C7CA1BB55C17A32CB65A2EA19C7B8E295C6898CF32FEE1DEB01472BE76C3A78CB242EDFE21D961FCB85C3CF6CEE218986C1BD932BF97BC6DECAABF8C62940C0A58E87C6EDDCD74B7F715D8C22520546239F3AAA10A435820103B4E3295311D992C9C8771A3CE849868F36F31214F9639C028F4A5F4945F2BEC9585077BF2F637D2549F8348C00ECBF19C470DF255EFF6232813429F853

dk_pke: 174313EFA93520E28A7076C888096E02B0BDD86830497B61FDEAB6209C6CF71C625C4680775C3477581C427A6FE1B0356EAB048BCA434F83B542C8B860010696A57299BB262268891FFC72142CA1A866185CA82D05406695BA57D4C930F9C17D6223523CF5A4F2A433A364459AC0ACDE7254481329288B1BE187CC25219F48C2443C532199859355320D04F0B80DE969F169A3D2BA3411B4ADBC01B66271824CD9543C78BA4804AE81F3AF00336C5CC3698354C0E01873A2A17D6A95A312689A99DC89084150A8D52BB31C3FF3D4215FA3C4111B401992866E513E5128A20ED95FDEE61485DC937E099D76F79B92734DC4CBB9A7A413FEA6285BC0C27C961E47D1983644C4BF913D72F4B030D34738427263E87AB4C0B7DF0B72CA8AA0BAA67B079939D587801D60C87A20405E5C52603C072FDB63E2E1C2A95CC26F5ABEF6088333800886D093CA01A76F57005E053569542E0A076B98736D4D39B00FC1653FBC2D12EA32A94B9B92C68BA4B68A4E7B370A23B03FE8221639B01244806C27067A58031DB80D2D03661A017BB46BB3711ACB568A4FABEBAFC5FA06F7CA0E4D962E3170CB11C0A8D18A09CE27A6A9763E123885450224DE07CC17546C17951FDE476E083583EF10BF76A98AFFF9B12DB5401CD3673495392D741291C3AA78420C8A7CB5FFE65012997C4DA4322EA90B5014B5B4D0180100247047341E4C24B96B8D7C0020524B7C1D66C3E08CB299EB4EC6FA0EE8EA05FD430F57605E892B232D2047CA9B4ECAD9BDD09C9951196916525D1EC921B6E3CE0EE692EBA728B4DB10F3381FBF584ABB7B6A9210C7C424CE4A369370CB48D608634ABA0BFF91C5620A1189D0CA97421D423429FB663952DC1231B4362B7162FE3A42111C91D76A964CB4154194209EDBAA1F481BD126C325D15678E39BCCE4C704EA487246648A6C6C2540B5F680A35EE2824246450A7293F21A90CFD14EFAF78FA3D7322251C641A50E95BB5EC5CA0B60E89D7C18B7A44A0FAFB4BCADE9B588D1B7FCF12BA1E1084D56B197EA90A79A3D83927A2307603BC211C0830CB7062C04254824575B226CAD
ek_pke: 9A27C2A45519AE39546467690485498A320AD56993B15A9D22C6191446CB40AA7547401681DCC7E36596B10C07FA2A20B43C4B0124401F8A0E744878C7296623C7395B6994D18C4787A289DBB05CB1827451D83F072904537594F515CA1017991620A33E096EE0DC091AE4CA960603B101B5B4E23E9A5B65E1F6C2A8CC89341383B706725ED5B3485769181B8F76439C05636A0C3436FFBA8B86A5306FA111F6FC71EB779B25707CFAE0A6DA7B0AD5D94B10F21E4FCA92893B9FFE73210763401377837A10CA9625346C42ADC705BD92DB3426D926CE4B5EC24A5CDF27CB91E5A7E7164D1BDC99D75679FBC93A58F647DAC1086CE931BC089233E9487E0867BC58472B01BF2895C323B64DBE4A17A9E841B053CADB5C76D035724C321BBC13666F0A35DFDA0721E8987623256A994D95FA1C05F57C1E15A30C4A0C8318A0D83C410C362862E817DD6ABBAA4BBE75B736CCCBB4AF2A188402BD4CE597932008862865332562F324C7A424151FB59D0AE1821F2864C7E698127AAD92C33B313988C29A09E260449BCA7BEE360862314E47519EF3918DDDE403E7B92AC9908F93C6369CC5C47B8CB1DC3A3479C762F62A18FE05A9B0645A5311A01828723AEB51FA505E96B29E3D2B6E5B1327DE3A61AB0C50BE0124B64B33314B32D6122510E46445857AA0E2C4B0D256955620A8681D1E555126D00509E35BF59683DDAA40E82C519B855852C366CB54452BF910B001692330345708653F511800B10E009D9F7D10A53B8B30BF13B06F254EC8A6BA539700F6358DE0463A019540C9873F3F4680E2113A7CCC55FF754D85AA67E9E55F887424E0B2625682A5DDA218F03C3C10A246CDB0CC91D19D8F024DB9B1415F50ACD8F65DE2787B9103C575B687765572CFFA59026C2BCEE77423BCAFD3054BF8E2713FB85B0BF6A46E716152F5C9A3011EC90114C76B01516799BD5911415B704544077F188806755EEC4131E55556DB903F4284C1F90086FF431B68F51F629812F320B55F219D72A1928F38C9A1EC823BA198BA9ABBACF62902B3CA0AFC95EA8AC303FB8BDD29BB9D18A03BA44E58B1B0B85A2A1662E6A31DA7545511A478A18177889061EF76631264239ADEBD04A8C5
h: 2B72E2B1F3A2DFBBD8C054E70CC2A742E7B7D417DFED314422187DE1B2954481
z: 195755EC04BB7671C4331446BBE8952514905321A2176E935B5420C0D5EA4465

c1: 84A188A072E4D4F449A4BE170274DD2A5F3E356E95B96E40AD3FF1455E36C6A71E909DD2C0DFF8AD2C9F503BAC9065716248083BDA40CECB38E3B3058BAF51A7572384FF8406A8136A4FC6D912A54B2EB5B9D598FB689E72ED3DEFD2FF8355ED9E9CCA53E82C0886E094C592C392311F04FEC68F9A1C531CF3419030892B5BDCACEEF6A0E7F1BD44903F49DE8E37B02BA3FC5121D99F8CC3040F66832F77021B4CA35F7A4825038936564CA2E673FF9CC0519C25F6A52D87EDD965B2464AA365D2BF068B72FC68B65E88515E2C832BBDB27D61BF512B5FC2D8590FB35F49500CAFE70E7D0776B5C4E4503A7189ADBAFF5D5B515CC68B2F81D993C6D7FA7D3D1D90EBFF51DA3FBBB4430E5BBEDBCA8DA078DCE8EC815B168BFC09AB4A20678870F4868B1FAE28D209C75368A799317DFA08C2B651FAC72DCA2A1B4CBB75E873F15C51B6D0B5E6F5E60E2AF6C40D2CABCBF3588F44BCEA6D72D359F40F9CF5E0EC40A5215E5ACEEAF0DA00D923D4CEFF5C3A3AB1E46C754F4AE052C2BC49FDB4521AE44DF634D56E433DAD3DF3C07115406FF8BFD0D7C93B4941D0F09213C1681CFD5C8663DF02041A3CBD162F5C4D80CB1DC7D4A501AD06FE96EB348B6E331C8296FE904EB97C087456328D703B85BDAC2FB43C728D0B05FC54B8C155C010EF0DB14CC668D1B1BC727AF8864076736B898BABA1C81DCA2053F58587D3C4E33C694A264BE2897E7D2EEFADDA9FF88D70BF3731F1228CB3E131EB0CB76FDBD2CCB1CBC18D1450AC7A16349E7129CAB720D5CB70B56E855E8305DCDA730BBD0EA33EF0815D02190BB98E30F73BF7789CDD673C613B0C57CB2EF32E670A98D2D630670773C59D8A6A2CFCFF1C7CA1BB55C17A32CB65A2EA19C7B8E295C6898CF32FEE
c2: 1DEB01472BE76C3A78CB242EDFE21D961FCB85C3CF6CEE218986C1BD932BF97BC6DECAABF8C62940C0A58E87C6EDDCD74B7F715D8C22520546239F3AAA10A435820103B4E3295311D992C9C8771A3CE849868F36F31214F9639C028F4A5F4945F2BEC9585077BF2F637D2549F8348C00ECBF19C470DF255EFF6232813429F853
u: [[1261, 1795, 1691, 1489, 741, 1005, 517, 2136, 3114, 432, 2705, 2877, 2633, 2988, 2767, 1430, 1317, 3062, 20, 2253, 1037, 1235, 1573, 705, 3140, 3046, 836, 2048, 683, 3277, 2955, 2259, 2640, 127, 3085, 2237, 1300, 289, 1791, 940, 2523, 2126, 42, 2682, 660, 670, 2698, 72, 2949, 348, 2045, 1138, 114, 3228, 257, 85, 3043, 2094, 800, 2578, 2370, 1053, 605, 601, 1421, 1190, 1291, 3270, 2003, 543, 2363, 803, 2441, 3290, 205, 1112, 2435, 2624, 549, 1089, 754, 1700, 312, 2919, 1313, 575, 185, 1908, 2656, 855, 3225, 2585, 2129, 2620, 992, 367, 1622, 52, 2526, 1782, 2637, 2568, 2331, 3101, 800, 1586, 2594, 2467, 221, 3238, 478, 2890, 2958, 42, 2272, 2120, 1651, 273, 1307, 2077, 2952, 988, 780, 1326, 2923, 1492, 127, 351, 2744, 3251, 3033, 940, 2617, 1873, 2835, 1118, 1912, 1378, 2698, 3319, 507, 364, 1473, 488, 1632, 2838, 371, 3088, 1538, 497, 348, 966, 1362, 497, 3319, 85, 2116, 2588, 2129, 2370, 306, 319, 1577, 575, 2923, 2737, 2637, 1632, 2812, 361, 2253, 1235, 631, 2048, 796, 2328, 1141, 59, 640, 2276, 2415, 2715, 387, 1534, 588, 992, 878, 757, 1200, 2815, 3049, 3322, 2799, 280, 1473, 2578, 2949, 244, 1326, 1921, 3140, 2253, 3222, 796, 94, 2406, 3322, 1063, 3205, 2337, 2741, 878, 2542, 2984, 1440, 2637, 458, 1795, 1479, 3027, 1599, 2393, 1161, 1808, 1651, 2295, 553, 419, 335, 111, 2728, 1752, 2949, 2936, 2113, 2731, 2526, 783, 2097, 2175, 1330, 2744, 3040, 114, 2295, 354, 3033, 2598, 1811, 2243, 1411, 988, 1440, 1759, 2698, 3137],
[1131, 1313, 868, 2363, 1580, 1447, 774, 546, 800, 2864, 2289, 2224, 3157, 1860, 796, 891, 2276, 2893, 2620, 2747, 289, 3319, 1456, 3192, 728, 192, 1938, 436, 1970, 2984, 2224, 3131, 709, 1873, 1863, 2757, 3166, 2702, 3033, 754, 575, 2682, 2776, 1031, 241, 598, 120, 2454, 1070, 1037, 972, 341, 1573, 1310, 2754, 2770, 2854, 2757, 2350, 800, 790, 364, 1115, 832, 361, 3322, 868, 2806, 3150, 1918, 65, 2708, 2445, 741, 55, 1362, 923, 2702, 328, 1294, 2389, 832, 1352, 780, 2279, 3137, 1463, 1005, 2913, 2867, 367, 2767, 1369, 2705, 345, 3303, 2984, 1021, 582, 1437, 166, 439, 1170, 3309, 2133, 1934, 3157, 107, 2042, 484, 686, 1463, 1024, 2812, 2324, 618, 585, 465, 699, 150, 16, 1037, 2929, 2516, 276, 156, 2448, 179, 575, 1310, 2120, 2721, 575, 569, 3040, 3228, 436, 1300, 2676, 1395, 2942, 2399, 1749, 2607, 1759, 163, 995, 3189, 2929, 731, 250, 2962, 1027, 2165, 1990, 975, 1567, 3023, 3196, 601, 1609, 2220, 1655, 3231, 458, 3212, 2897, 637, 2448, 2523, 2679, 2932, 2656, 2685, 2861, 1450, 2376, 2666, 2588, 2646, 1460, 946, 836, 2240, 2061, 849, 1570, 1476, 1798, 1619, 1700, 2770, 660, 1131, 2428, 1733, 2802, 1144, 1456, 2845, 2871, 2711, 764, 2120, 202, 403, 1534, 29, 2578, 1879, 764, 631, 3300, 1502, 2962, 2032, 3215, 2578, 1726, 770, 2536, 2357, 2432, 3160, 2646, 2162, 1248, 2737, 696, 1495, 384, 1495, 1473, 2207, 2211, 575, 3316, 2702, 3124, 2097, 1440, 276, 3056, 653, 1492, 497, 2217, 335, 647, 566, 1138, 2581, 445, 738, 2493, 3095]]
v: [2705, 208, 2289, 2913, 208, 0, 1456, 832, 2289, 416, 1456, 2913, 2497, 1248, 2081, 624, 1665, 1456, 2289, 2497, 832, 416, 2913, 416, 3121, 2705, 416, 2913, 2705, 208, 1248, 1873, 3121, 208, 2289, 2497, 1040, 1665, 624, 2497, 3121, 2497, 2497, 1248, 2913, 2913, 208, 416, 1873, 1665, 1248, 1665, 208, 2497, 2705, 2289, 624, 1873, 2289, 416, 1873, 3121, 2289, 1456, 1248, 2497, 2913, 2705, 2081, 2497, 2289, 2081, 1665, 3121, 1248, 2497, 1873, 416, 0, 832, 0, 2497, 1040, 2081, 2913, 1665, 1456, 1665, 1248, 2497, 2705, 2913, 2497, 2705, 1456, 2705, 2289, 832, 3121, 1456, 208, 1456, 2705, 1040, 2497, 1665, 416, 416, 416, 1040, 1040, 0, 1248, 832, 624, 416, 3121, 1873, 2081, 624, 2081, 2081, 0, 208, 832, 2081, 1040, 624, 416, 1665, 208, 0, 624, 0, 832, 2289, 624, 2913, 1873, 416, 624, 1040, 208, 208, 1873, 2705, 416, 1873, 1873, 2497, 1665, 2497, 1456, 1456, 2081, 208, 2497, 624, 1665, 2913, 1873, 832, 1248, 1665, 3121, 1665, 1248, 624, 624, 3121, 416, 208, 832, 208, 1873, 3121, 624, 1248, 2497, 1873, 416, 0, 3121, 1665, 2081, 832, 3121, 1040, 1873, 832, 1040, 832, 416, 3121, 2913, 2289, 1873, 2497, 1665, 1040, 0, 1040, 1456, 1456, 3121, 2289, 3121, 416, 624, 1248, 2705, 1456, 1040, 416, 1873, 832, 1665, 3121, 832, 624, 2497, 1665, 0, 0, 2497, 2913, 3121, 2289, 1873, 208, 832, 2497, 0, 1456, 3121, 2705, 1040, 416, 2913, 1040, 3121, 3121, 416, 1248, 416, 624, 208, 1665, 832, 624, 1873, 416, 1665, 3121, 624, 1040]
sHat: [[791, 308, 2543, 858, 544, 2222, 1648, 3207, 2440, 1760, 2, 3035, 2264, 774, 2889, 1559, 2813, 2926, 3104, 1737, 3319, 1569, 1628, 2052, 3191, 837, 2167, 453, 2626, 1783, 225, 859, 2926, 74, 2699, 1084, 847, 2904, 2114, 2956, 352, 96, 1430, 1834, 2969, 619, 2082, 2198, 3103, 1839, 3092, 2578, 1704, 390, 2140, 730, 5, 1636, 2709, 1403, 2516, 780, 505, 2012, 866, 1314, 1340, 2639, 1266, 826, 1187, 1110, 154, 2764, 734, 1351, 840, 657, 2856, 440, 2017, 3272, 293, 2546, 584, 1100, 828, 533, 1433, 2360, 597, 211, 4, 2959, 2317, 1694, 2545, 2614, 2770, 843, 1041, 2779, 444, 2912, 354, 2087, 2380, 1357, 2108, 2983, 1096, 2784, 897, 2815, 768, 1731, 860, 1692, 1155, 3077, 2272, 1841, 418, 2010, 1386, 2617, 2066, 2470, 3225, 2205, 264, 1284, 1448, 701, 3251, 1009, 1267, 541, 863, 3146, 2833, 1025, 537, 2153, 366, 997, 2129, 2594, 2318, 1533, 1758, 334, 3205, 2365, 2430, 2512, 1910, 2495, 914, 1239, 3012, 2972, 1191, 314, 1790, 650, 91, 3116, 1660, 489, 327, 2445, 1078, 3140, 447, 985, 1138, 2831, 816, 1149, 568, 1828, 2147, 1966, 180, 2940, 3039, 1824, 2762, 2568, 1722, 1978, 2311, 921, 2005, 2056, 29, 3206, 122, 1026, 3166, 1317, 3168, 115, 2863, 1597, 482, 3118, 3241, 3109, 2671, 3045, 2294, 2096, 51, 136, 134, 2365, 458, 2672, 1903, 5, 1374, 848, 1129, 741, 1802, 1712, 920, 1751, 2381, 2819, 271, 1628, 3135, 731, 2578, 814, 2985, 2484, 1682, 2236, 1700, 2219, 2894, 887, 778, 2818, 2111, 558, 2326, 2819, 1042, 2052, 1900, 98],
[2170, 53, 2077, 219, 813, 1632, 282, 1968, 2996, 2870, 2673, 3249, 2646, 1272, 2987, 2814, 2757, 111, 2807, 236, 1613, 745, 49, 3255, 17, 2700, 2769, 152, 1998, 2658, 1705, 999, 2066, 2131, 581, 576, 2014, 3264, 1047, 1733, 1303, 505, 2014, 1764, 1288, 2099, 239, 3057, 2422, 2218, 2559, 2847, 1325, 1035, 796, 1661, 1332, 921, 1069, 295, 913, 2732, 632, 196, 3210, 2903, 1791, 1294, 2322, 1993, 1101, 810, 2350, 186, 1104, 2897, 180, 397, 1, 576, 1904, 836, 3102, 580, 3001, 2262, 124, 512, 2898, 1988, 1565, 3126, 3296, 2856, 2969, 1262, 2758, 239, 2792, 94, 1021, 244, 87, 1510, 2953, 562, 45, 1138, 3018, 1257, 2506, 3037, 3280, 2457, 2385, 1681, 534, 1493, 2334, 540, 950, 3310, 1550, 2350, 2027, 650, 2996, 269, 2291, 499, 2239, 1189, 3003, 1703, 146, 3185, 1220, 3298, 1610, 2355, 2928, 1164, 2262, 1584, 2634, 187, 511, 3161, 2658, 272, 137, 3245, 663, 468, 1090, 659, 1787, 918, 3154, 301, 1073, 875, 299, 1575, 2814, 1059, 3089, 2321, 2775, 2406, 1100, 347, 1089, 521, 2974, 2733, 2079, 436, 1745, 3122, 293, 1389, 888, 2494, 1228, 3198, 2564, 1166, 1650, 1604, 3210, 1734, 37, 2900, 246, 2616, 606, 2094, 1602, 1108, 522, 2359, 2802, 2305, 463, 1261, 2042, 2303, 1955, 813, 290, 3173, 1345, 234, 2965, 1515, 2757, 188, 2144, 2526, 2172, 2929, 2724, 244, 1199, 3019, 2477, 2910, 392, 2941, 508, 703, 417, 142, 1613, 2837, 2711, 2318, 2727, 985, 643, 1961, 1827, 1536, 571, 284, 960, 200, 1719, 704, 1284, 1154, 1828, 1461, 3106, 2774]]
w: [1558, 92, 164, 1760, 1700, 82, 3105, 3297, 1538, 1766, 1763, 181, 1746, 3293, 1756, 3229, 1581, 8, 1636, 3282, 1699, 3307, 1542, 41, 39, 46, 1686, 1653, 29, 1697, 1665, 1697, 73, 3243, 1717, 2, 3277, 34, 3276, 68, 1621, 1657, 3315, 1666, 1664, 1717, 3311, 1598, 3262, 1738, 1544, 3302, 1628, 1521, 1606, 3239, 1658, 3316, 209, 108, 1510, 1568, 1658, 108, 48, 5, 1696, 78, 3141, 3300, 1557, 1676, 1577, 1765, 85, 3312, 1720, 1592, 3250, 3181, 142, 45, 1613, 47, 1830, 3239, 3216, 3269, 3232, 1703, 1712, 33, 3111, 3253, 1703, 3251, 1663, 1709, 224, 1684, 1623, 1643, 3231, 1767, 3319, 15, 156, 1611, 3132, 1753, 1498, 1764, 1593, 128, 1737, 3279, 1753, 60, 3263, 1540, 1655, 5, 1655, 15, 3275, 1574, 149, 227, 134, 49, 1633, 24, 1752, 3319, 46, 8, 3270, 36, 78, 113, 1701, 8, 44, 1723, 1668, 1589, 3290, 103, 1718, 86, 1582, 38, 1561, 133, 3309, 3160, 93, 1733, 3315, 3313, 116, 1723, 3238, 3254, 3306, 1665, 27, 1534, 1672, 1676, 1773, 3237, 1562, 5, 70, 19, 182, 1737, 1688, 1670, 36, 1532, 1757, 3210, 1725, 1596, 3272, 3275, 1759, 41, 3310, 1625, 1661, 1739, 3279, 1614, 1641, 3285, 1639, 158, 3266, 3238, 1755, 27, 1468, 193, 1660, 43, 68, 18, 3164, 19, 5, 1560, 3209, 3321, 3182, 3315, 57, 3164, 73, 3304, 1688, 1743, 1758, 72, 1555, 114, 1898, 3174, 1652, 1616, 2, 1791, 3209, 1685, 3225, 1552, 1823, 1636, 42, 17, 1715, 26, 3234, 92, 1605, 199, 1802, 0, 1641, 3224, 3295, 1749, 1513, 3251]
mPrime: 195755EC04BB7671C4331446BBE8952514905321A2176E935B5420C0D5EA4465

KPrime: 224B9C051213EF46549243796532282973FA7CF97E8913C339C1940AC17E05E0
rPrime: 92A1F927E9CB290EA28358A8927D1CB7E25789194C510DC1462A04EE4CC75B21

tHat: [[1946, 3106, 1444, 405, 2478, 1347, 1892, 1686, 1284, 1176, 650, 163, 2517, 2358, 2737, 2517, 1570, 412, 1556, 3252, 2624, 1882, 71, 356, 3201, 3197, 1507, 2406, 3249, 112, 2810, 514, 3252, 1203, 1025, 1026, 2591, 232, 2164, 1924, 2503, 1634, 1827, 924, 2395, 2374, 3281, 1144, 647, 2202, 219, 1483, 689, 1864, 2129, 1021, 2311, 66, 1363, 2375, 1525, 3233, 1808, 2449, 22, 2610, 2366, 1760, 3296, 157, 1050, 3246, 1686, 48, 433, 2896, 692, 1006, 2970, 1621, 1761, 3119, 3240, 2204, 820, 2097, 1719, 1824, 1374, 2877, 1864, 1685, 2840, 2289, 886, 2500, 773, 1702, 1036, 867, 2815, 2235, 1414, 778, 367, 282, 3318, 1823, 2027, 2487, 37, 1991, 250, 2670, 3034, 167, 2517, 1213, 528, 495, 2639, 2348, 2953, 2547, 1022, 535, 775, 1030, 1811, 2103, 122, 3233, 1430, 834, 620, 2772, 1479, 3024, 2962, 845, 2342, 621, 3022, 1508, 2754, 1476, 2015, 3250, 1425, 2686, 1767, 1233, 3099, 2461, 1751, 1941, 2555, 940, 1624, 1151, 474, 140, 2412, 798, 2236, 2336, 2355, 1166, 2174, 1648, 2236, 1141, 299, 3056, 1320, 3129, 1571, 1243, 2750, 372, 2217, 1054, 944, 3237, 3291, 1893, 1488, 1827, 588, 435, 956, 1633, 2671, 848, 2783, 125, 2081, 2446, 886, 594, 2410, 1241, 2709, 463, 1285, 1999, 1310, 2609, 2572, 196, 2179, 2561, 3288, 1043, 1548, 643, 2146, 382, 2781, 2998, 2986, 3044, 1909, 875, 3020, 2892, 2735, 386, 644, 3024, 1356, 2430, 147, 130, 2182, 1618, 1331, 1570, 1267, 3186, 1188, 338, 1311, 2523, 266, 2094, 2079, 1602, 1735, 2446, 2578, 2775, 914, 956, 2353, 2179],
[2754, 153, 226, 1094, 2715, 1980, 1774, 131, 354, 1251, 327, 2533, 499, 2265, 1245, 62, 2535, 683, 201, 2297, 1683, 876, 1436, 3148, 3195, 2840, 2780, 835, 1913, 1580, 2806, 386, 1534, 2704, 1200, 1446, 339, 2561, 2072, 1826, 2874, 1310, 250, 1509, 662, 2539, 2877, 1762, 859, 625, 2782, 1555, 3243, 1280, 446, 576, 2998, 820, 2865, 804, 726, 593, 1040, 1614, 1349, 1960, 672, 3150, 688, 1389, 1685, 517, 2216, 470, 1310, 1301, 38, 93, 777, 1470, 1781, 2105, 2781, 1034, 3304, 1298, 1435, 1416, 850, 1644, 1227, 1109, 2347, 271, 432, 1680, 35, 835, 2135, 1616, 319, 389, 256, 235, 3328, 2553, 125, 2641, 2875, 776, 959, 2817, 1391, 1250, 1736, 2986, 1875, 9, 1526, 2259, 1760, 932, 1281, 1033, 1993, 1016, 1599, 2052, 482, 929, 3196, 1372, 1535, 1239, 2693, 1658, 1513, 1534, 1160, 583, 736, 1579, 598, 2648, 733, 394, 3312, 963, 528, 1130, 205, 3275, 401, 2525, 655, 1232, 441, 1051, 95, 2757, 1752, 1503, 2274, 1975, 913, 3152, 1653, 2171, 1398, 1829, 2767, 1439, 3074, 694, 1998, 1870, 3107, 2811, 1491, 1200, 760, 1822, 2111, 1467, 1547, 2639, 366, 1559, 1362, 3231, 419, 480, 457, 320, 3015, 22, 1873, 2454, 2493, 277, 2881, 1797, 1093, 116, 2175, 2177, 1286, 1511, 492, 788, 1509, 1381, 219, 1017, 1090, 3096, 249, 2144, 1023, 436, 1384, 511, 2146, 297, 243, 2898, 351, 2514, 370, 2346, 2191, 3219, 3233, 2094, 315, 2442, 2746, 3001, 1708, 671, 770, 3243, 3082, 2399, 2794, 3128, 2819, 2239, 2525, 2994, 2205, 2561, 1083, 1258, 344, 2827]]

bHat = aHat^T: [[[1341, 1232, 1520, 1770, 1003, 1831, 2265, 2612, 3123, 2306, 2308, 2255, 1490, 1757, 3189, 527, 3134, 69, 1977, 3080, 2397, 130, 1582, 978, 3006, 804, 2954, 2425, 1044, 1858, 3045, 2399, 2205, 2550, 2921, 122, 1228, 2138, 2028, 121, 2672, 2810, 2355, 918, 3306, 1704, 760, 542, 3315, 2757, 2693, 1951, 1877, 1773, 1983, 1080, 708, 2782, 3172, 1953, 1452, 1721, 1892, 1248, 1798, 1997, 1316, 2886, 2562, 2126, 3292, 31, 3282, 2460, 1927, 2546, 2859, 1498, 905, 1786, 199, 2414, 1990, 1834, 515, 2527, 494, 743, 2335, 2652, 2521, 1445, 1538, 275, 2051, 1796, 1074, 333, 2770, 1060, 2473, 2840, 979, 648, 2891, 139, 2866, 3043, 1062, 159, 2676, 1072, 1455, 1652, 1722, 1985, 2592, 2855, 2396, 1723, 3, 304, 3034, 2717, 899, 72, 2047, 3212, 1207, 2879, 3130, 1150, 453, 1398, 518, 916, 3155, 520, 629, 2344, 966, 3254, 577, 2344, 1025, 1063, 1548, 2577, 2271, 665, 1798, 3220, 2069, 1307, 3102, 3220, 1057, 437, 1217, 941, 487, 885, 1418, 2967, 1058, 1396, 1932, 721, 2302, 730, 522, 2775, 372, 359, 1712, 2573, 2476, 2273, 2627, 1436, 417, 2326, 2963, 1542, 1470, 2662, 728, 2267, 2454, 836, 443, 998, 3223, 2987, 440, 2548, 539, 1465, 1776, 532, 406, 1756, 3231, 2506, 1574, 1183, 1437, 2043, 1381, 1618, 2438, 416, 3158, 2431, 760, 1974, 1599, 1637, 611, 826, 1576, 1703, 3197, 127, 2296, 2774, 3170, 1351, 1635, 2287, 1133, 1110, 1299, 915, 2495, 787, 2044, 689, 3080, 1719, 1343, 3007, 1914, 1995, 1831, 2520, 2468, 694, 965, 665, 1532, 2025, 733, 2621, 752, 1605],
[1107, 1430, 1656, 2723, 1978, 2161, 2909, 1681, 2024, 1209, 2176, 1472, 2579, 3193, 1266, 2891, 2717, 2156, 2500, 2580, 1459, 1409, 1570, 1053, 538, 1782, 2370, 2274, 2948, 325, 2898, 857, 3112, 710, 1579, 1744, 3081, 1871, 2509, 2458, 1463, 479, 1749, 2296, 1140, 2636, 328, 1349, 502, 1761, 989, 359, 2149, 1892, 2098, 1286, 804, 933, 149, 1944, 2217, 2744, 2954, 1092, 1103, 878, 3326, 1679, 3102, 2809, 1795, 574, 696, 2034, 2029, 2448, 2135, 2194, 2503, 823, 2128, 144, 1105, 963, 1929, 1328, 3113, 1097, 3052, 1648, 2484, 1650, 2180, 958, 606, 1317, 1804, 1384, 672, 3053, 2554, 865, 1727, 1415, 1929, 3154, 652, 875, 3149, 998, 3240, 2022, 2963, 1205, 1546, 3195, 767, 2671, 2607, 1803, 20, 1117, 948, 2191, 3261, 2478, 404, 1826, 3250, 2506, 2373, 932, 1131, 2317, 2269, 1348, 1468, 1091, 748, 1428, 1056, 1387, 1239, 2847, 3157, 2702, 2015, 1255, 2443, 2435, 2593, 90, 3119, 499, 1133, 1612, 1520, 2342, 1072, 2683, 83, 2279, 1263, 3266, 2199, 1519, 1825, 1309, 2528, 47, 438, 309, 1518, 2420, 3090, 2179, 2935, 1451, 2304, 951, 2545, 1654, 3056, 2547, 77, 1009, 205, 1809, 1568, 2342, 599, 836, 2768, 3005, 2877, 301, 475, 2302, 305, 2121, 1705, 1426, 134, 1412, 2429, 795, 688, 3322, 2501, 2658, 2624, 3098, 878, 687, 1608, 1006, 1545, 1968, 2378, 468, 2303, 2194, 2518, 1457, 16, 504, 95, 2007, 734, 2785, 98, 1422, 3236, 3044, 1251, 2906, 2639, 2433, 3163, 1519, 1576, 1630, 2987, 1430, 1823, 2949, 2139, 637, 298, 3004, 2426, 3260, 3128, 3059, 291, 2868]],
[[1490, 2832, 3007, 87, 745, 2812, 374, 2590, 2710, 2551, 3299, 346, 1573, 2189, 2468, 139, 551, 1030, 1873, 3009, 1273, 1775, 2465, 190, 1929, 666, 2757, 1478, 1525, 362, 784, 472, 2798, 715, 2660, 855, 76, 2123, 524, 394, 3257, 1995, 205, 2851, 2305, 202, 3016, 2563, 816, 161, 992, 379, 1278, 2061, 95, 1542, 1884, 1431, 2503, 62, 3180, 1320, 1291, 2129, 697, 2997, 367, 1277, 948, 2299, 228, 1321, 1930, 2895, 842, 2553, 1372, 3135, 1074, 2797, 2292, 3180, 291, 1832, 2580, 201, 2690, 2465, 2544, 1341, 2051, 2719, 692, 2968, 1173, 728, 595, 968, 39, 2628, 1344, 2638, 1878, 2022, 138, 974, 2049, 1125, 1616, 603, 1373, 2565, 1100, 143, 1672, 3104, 1243, 2222, 2379, 2517, 1040, 2306, 1932, 2232, 2414, 1713, 2733, 2613, 210, 2899, 2225, 2417, 1153, 497, 532, 1226, 262, 2346, 1385, 924, 3111, 468, 1646, 191, 2982, 2701, 2902, 2380, 3032, 494, 174, 2728, 1105, 744, 125, 1495, 38, 2909, 1141, 3020, 2882, 1922, 2506, 2908, 2238, 1611, 41, 431, 2658, 2025, 2119, 3256, 3101, 2231, 2925, 3299, 791, 2320, 84, 3084, 1029, 2357, 2775, 2083, 2328, 1041, 1048, 991, 1106, 2707, 1944, 3248, 1587, 548, 2929, 600, 3258, 1248, 2516, 1528, 358, 1167, 106, 1476, 1446, 1374, 2209, 2259, 234, 928, 3253, 3168, 478, 2383, 2531, 2209, 630, 2093, 962, 55, 318, 2421, 1577, 1821, 751, 1514, 294, 1757, 425, 1024, 895, 390, 2531, 2178, 2151, 1118, 3219, 299, 2208, 2239, 407, 2184, 2323, 742, 1553, 3275, 1188, 1947, 60, 1538, 989, 1589, 2246, 677, 2878, 1923],
[1870, 3321, 145, 1061, 1324, 1482, 2251, 3214, 3210, 2036, 1155, 393, 3199, 3013, 627, 371, 1565, 1594, 523, 2681, 452, 1173, 2787, 2781, 1422, 420, 1010, 1164, 1696, 2259, 464, 1557, 709, 2202, 986, 2065, 3081, 3085, 1543, 2780, 1209, 1584, 452, 631, 943, 2201, 3047, 617, 156, 1642, 1750, 3056, 2725, 158, 2234, 2969, 3002, 3121, 2707, 3103, 1852, 312, 2732, 2553, 836, 1663, 2660, 1299, 1227, 732, 2633, 1653, 2922, 1352, 2187, 383, 2319, 2650, 1625, 828, 3144, 1333, 2004, 830, 888, 1811, 1248, 2772, 543, 2505, 1352, 2143, 3127, 2158, 89, 2546, 2032, 918, 1347, 1170, 1139, 1824, 605, 1597, 1536, 360, 2817, 1845, 2283, 2681, 1821, 1632, 1674, 3289, 695, 651, 2882, 3127, 1179, 2895, 4, 2780, 1420, 2965, 545, 2508, 278, 1726, 467, 1242, 2215, 1513, 424, 2896, 1910, 2627, 576, 2049, 408, 3020, 2565, 3272, 1820, 1438, 1010, 523, 3067, 2464, 1939, 624, 347, 1840, 2150, 2970, 1050, 1275, 3275, 760, 1072, 1447, 355, 2674, 1035, 2885, 840, 665, 1106, 2391, 2849, 3088, 2274, 2110, 2245, 3223, 1668, 256, 1557, 406, 1585, 2563, 194, 1876, 2882, 1126, 1050, 2555, 3260, 2140, 2434, 700, 1806, 512, 3174, 841, 2889, 1971, 652, 821, 828, 1498, 3151, 1440, 1038, 1782, 2297, 2146, 871, 2472, 3117, 21, 86, 2439, 3245, 1017, 2212, 2431, 1440, 1670, 1586, 1253, 2961, 1185, 2464, 704, 213, 1625, 961, 1036, 2316, 355, 1592, 3255, 3012, 365, 1156, 1393, 1085, 1161, 2603, 601, 3076, 799, 1919, 914, 561, 2296, 1331, 2214, 2464, 2121, 311, 2043, 2450, 2336, 1608, 1583]]]

r: [[2, 0, 3328, 3328, 3328, 1, 0, 2, 0, 3328, 2, 1, 1, 3327, 1, 3327, 3328, 3328, 3328, 3328, 3328, 1, 2, 3328, 3328, 1, 0, 0, 3328, 3328, 3328, 0, 0, 3328, 3328, 0, 0, 0, 1, 0, 3326, 1, 3328, 3328, 0, 0, 1, 0, 0, 1, 1, 0, 0, 3328, 3328, 1, 0, 0, 3327, 0, 0, 3326, 3328, 1, 3328, 3327, 0, 3328, 1, 1, 3328, 3327, 3328, 3328, 1, 0, 0, 3328, 0, 0, 0, 3326, 1, 0, 3328, 0, 1, 0, 1, 0, 1, 3328, 0, 3328, 1, 3328, 1, 3328, 3327, 3328, 0, 3328, 2, 0, 3327, 0, 2, 1, 0, 1, 3327, 0, 0, 1, 1, 2, 3328, 2, 3328, 0, 3328, 1, 3328, 1, 1, 2, 0, 3328, 3, 1, 3327, 3328, 3328, 3328, 0, 0, 0, 3327, 0, 3328, 0, 0, 3328, 3, 3327, 3328, 0, 0, 0, 1, 1, 2, 3327, 0, 2, 1, 1, 0, 3328, 1, 3328, 1, 0, 1, 0, 3328, 0, 0, 3328, 0, 0, 0, 0, 1, 1, 2, 1, 1, 1, 0, 2, 0, 3328, 0, 0, 1, 3328, 2, 0, 0, 1, 1, 2, 2, 1, 1, 3327, 0, 0, 0, 0, 1, 3328, 0, 1, 1, 0, 3328, 3328, 0, 3328, 0, 3328, 0, 3326, 2, 1, 3328, 3328, 2, 3328, 1, 1, 0, 2, 0, 3328, 1, 2, 1, 3328, 3328, 0, 1, 0, 0, 3327, 0, 1, 0, 0, 0, 0, 0, 1, 2, 2, 1, 3328, 1, 0, 0, 3328, 3328, 0, 0],
[3327, 0, 0, 3328, 0, 0, 0, 1, 3328, 3328, 0, 0, 0, 1, 3328, 2, 3328, 0, 0, 0, 1, 3328, 3328, 3, 3328, 3327, 3328, 0, 0, 0, 1, 0, 1, 1, 3326, 3, 0, 1, 3328, 1, 3328, 3328, 1, 0, 3327, 3326, 0, 3328, 0, 3327, 1, 0, 1, 0, 1, 1, 1, 0, 3328, 1, 0, 2, 0, 3328, 3328, 3327, 3328, 3328, 3328, 1, 1, 3327, 1, 3328, 0, 1, 0, 1, 0, 1, 0, 3328, 3328, 2, 1, 1, 0, 1, 3328, 0, 0, 0, 3, 0, 1, 3327, 0, 3327, 3328, 0, 1, 0, 3328, 0, 0, 2, 1, 0, 0, 0, 2, 2, 0, 0, 1, 3328, 3328, 1, 1, 1, 2, 3327, 1, 3328, 3328, 2, 2, 3328, 3328, 1, 3328, 0, 3, 1, 0, 3328, 1, 3328, 0, 0, 1, 2, 3328, 0, 0, 3328, 0, 3328, 3328, 3328, 0, 1, 3328, 0, 2, 2, 0, 2, 0, 0, 3328, 1, 1, 0, 3328, 3328, 2, 1, 1, 0, 2, 0, 1, 0, 3327, 3328, 2, 0, 0, 1, 3327, 3328, 3328, 1, 3327, 0, 2, 1, 2, 0, 3326, 1, 1, 3327, 0, 3328, 3327, 3328, 0, 3328, 1, 2, 3327, 2, 2, 0, 3328, 0, 3328, 3328, 2, 3328, 3328, 3328, 2, 1, 0, 0, 1, 3327, 3328, 1, 3328, 1, 1, 1, 1, 2, 1, 0, 1, 3328, 3328, 0, 3328, 0, 0, 1, 1, 2, 0, 0, 1, 0, 0, 3327, 3328, 3328, 0, 0, 1, 0, 0, 3328, 2, 3328]]

e1: [[3328, 1, 0, 3328, 0, 0, 3328, 0, 0, 3328, 0, 0, 1, 1, 0, 0, 3328, 0, 0, 1, 1, 3328, 3328, 1, 0, 0, 3328, 3328, 1, 1, 2, 3327, 3328, 3328, 0, 0, 3327, 0, 0, 0, 3327, 0, 3327, 3328, 2, 1, 2, 3328, 3328, 0, 0, 0, 0, 0, 0, 1, 1, 1, 3328, 2, 0, 2, 3328, 3328, 0, 1, 0, 1, 3328, 3328, 3328, 0, 3327, 0, 0, 0, 0, 3328, 3328, 0, 3328, 1, 3328, 0, 3327, 0, 3327, 3328, 0, 1, 3328, 3327, 1, 3327, 3328, 3328, 1, 3328, 3328, 0, 3328, 1, 2, 1, 0, 0, 3327, 3328, 3327, 0, 3328, 3328, 1, 3328, 2, 2, 3328, 0, 0, 2, 3328, 3327, 3328, 1, 1, 0, 1, 3327, 1, 1, 0, 1, 3328, 1, 3327, 1, 1, 1, 1, 3328, 3328, 3328, 0, 1, 3328, 3328, 0, 3328, 0, 3328, 1, 0, 3328, 0, 1, 1, 1, 3327, 1, 0, 3328, 3328, 3327, 2, 3328, 0, 0, 3328, 3328, 0, 3328, 0, 3327, 3327, 1, 3328, 0, 1, 0, 2, 3328, 0, 0, 1, 0, 1, 1, 0, 2, 3328, 0, 1, 1, 3328, 0, 1, 0, 1, 0, 2, 0, 1, 0, 1, 2, 1, 1, 0, 0, 1, 0, 1, 1, 1, 1, 0, 3328, 1, 0, 0, 3328, 2, 0, 0, 3328, 0, 0, 3328, 3328, 3328, 3327, 3328, 0, 1, 1, 1, 1, 0, 1, 2, 3327, 3328, 0, 3328, 3328, 3328, 1, 0, 3327, 3328, 3328, 0, 3328, 0, 0, 1],
[3328, 0, 3328, 2, 1, 3328, 3328, 1, 3328, 1, 3328, 0, 0, 3327, 0, 3328, 0, 3328, 3328, 2, 3328, 3328, 0, 3328, 3328, 1, 0, 3328, 0, 3328, 0, 0, 1, 3328, 0, 0, 3328, 1, 1, 3328, 0, 3328, 1, 1, 3328, 1, 0, 0, 0, 3328, 1, 3328, 0, 0, 0, 1, 3328, 0, 1, 1, 0, 3328, 0, 2, 0, 1, 2, 0, 3328, 0, 1, 0, 1, 0, 1, 3327, 0, 3328, 3328, 1, 0, 0, 1, 3328, 3327, 0, 0, 3328, 1, 3328, 0, 0, 1, 0, 1, 0, 1, 0, 2, 0, 0, 1, 2, 0, 2, 1, 3328, 3328, 2, 0, 0, 0, 1, 3328, 0, 3328, 3327, 0, 2, 1, 1, 2, 0, 1, 3328, 2, 0, 0, 1, 3328, 0, 1, 1, 0, 3328, 0, 0, 0, 3328, 0, 0, 1, 3328, 1, 0, 3328, 3327, 0, 0, 3328, 1, 1, 1, 1, 1, 1, 2, 1, 2, 1, 3327, 1, 2, 3327, 1, 1, 0, 3328, 1, 0, 1, 3328, 0, 1, 1, 0, 3328, 1, 1, 3328, 0, 1, 1, 3328, 0, 0, 0, 1, 1, 0, 3328, 0, 0, 0, 1, 3328, 3328, 0, 1, 3328, 0, 1, 3328, 0, 3328, 1, 0, 3328, 0, 1, 3328, 1, 3328, 3328, 1, 1, 3328, 3327, 3328, 1, 0, 0, 0, 1, 0, 3327, 3328, 0, 0, 1, 0, 0, 3328, 3328, 3328, 1, 1, 2, 1, 3328, 0, 0, 1, 3328, 0, 1, 2, 3328, 3328, 3328, 3327, 0, 1, 3328, 0, 1]]

e2: [0, 2, 2, 0, 3328, 0, 1, 1, 1, 2, 1, 3328, 3328, 0, 3328, 2, 0, 1, 1, 1, 3328, 3328, 3328, 1, 3327, 3328, 1, 1, 0, 0, 3328, 1, 0, 0, 3327, 3328, 0, 1, 0, 1, 0, 1, 1, 0, 3328, 0, 1, 3327, 0, 3328, 0, 0, 0, 3328, 3328, 2, 1, 1, 0, 0, 1, 3328, 3328, 3328, 3328, 1, 1, 0, 1, 3328, 0, 1, 1, 2, 0, 0, 3328, 0, 1, 0, 3328, 0, 1, 1, 1, 3328, 0, 1, 3327, 3328, 1, 1, 0, 3328, 3328, 3327, 0, 1, 3328, 0, 1, 0, 3328, 3328, 3327, 3328, 0, 0, 0, 0, 0, 1, 3328, 3328, 3328, 3328, 1, 1, 0, 1, 3328, 0, 3328, 3328, 2, 3328, 3328, 0, 3328, 2, 0, 0, 0, 3327, 1, 0, 1, 1, 0, 2, 0, 1, 0, 0, 3328, 0, 0, 1, 3328, 1, 1, 0, 0, 0, 0, 3328, 0, 1, 1, 0, 0, 1, 0, 0, 3328, 1, 3328, 3328, 3328, 3328, 0, 0, 1, 0, 0, 0, 1, 1, 3328, 0, 0, 1, 1, 3328, 0, 1, 2, 0, 0, 1, 1, 3328, 1, 0, 0, 2, 0, 1, 1, 1, 1, 3328, 0, 1, 3328, 1, 0, 3328, 0, 0, 0, 3328, 1, 3327, 1, 3328, 3328, 3328, 1, 0, 3328, 0, 2, 0, 3328, 0, 3328, 3327, 0, 3328, 1, 1, 0, 0, 0, 1, 0, 3328, 1, 0, 3328, 3328, 1, 3328, 0, 0, 3327, 3327, 3327, 3327, 3328, 3327, 3328, 2, 1, 0]
rHat: [[2524, 3201, 2259, 2409, 1681, 275, 2303, 818, 2724, 1213, 1874, 1491, 2627, 2267, 1790, 12, 3216, 2734, 1684, 2342, 1622, 1659, 3106, 855, 2814, 529, 2170, 1324, 273, 1745, 1941, 1553, 2165, 1335, 2735, 1669, 520, 1013, 2681, 3008, 2408, 3292, 843, 1569, 2385, 2734, 1605, 1413, 443, 2593, 1163, 1239, 2014, 783, 1773, 2574, 2450, 80, 760, 3150, 2495, 763, 3235, 2456, 2033, 1064, 2718, 534, 2202, 299, 612, 1585, 2342, 1360, 1308, 3246, 1146, 788, 1211, 783, 1471, 2124, 398, 2285, 2531, 994, 3263, 2893, 1074, 695, 1524, 3080, 894, 2625, 512, 1759, 2052, 916, 1074, 608, 644, 3141, 277, 1115, 1244, 3295, 1022, 1937, 1207, 1096, 2567, 1853, 1625, 2532, 534, 1443, 2334, 2936, 3230, 1282, 542, 18, 1030, 1792, 1598, 3267, 1880, 3213, 1318, 2900, 1931, 1871, 1677, 223, 2486, 2627, 1779, 1945, 240, 2493, 70, 3217, 189, 2838, 952, 2143, 3236, 1620, 398, 1922, 479, 440, 1424, 1538, 281, 971, 668, 994, 1200, 154, 2452, 745, 474, 462, 25, 684, 2216, 2045, 2962, 1599, 1659, 2517, 460, 19, 696, 2294, 614, 2282, 2546, 3081, 2283, 1197, 675, 537, 2278, 2680, 1624, 2793, 1187, 1766, 3278, 3162, 298, 561, 3300, 210, 2649, 643, 272, 1969, 1891, 787, 568, 423, 3263, 2003, 2642, 3065, 845, 726, 1002, 2673, 211, 6, 1058, 1126, 2912, 2357, 2493, 1682, 2878, 1044, 1661, 2427, 2278, 1435, 2201, 964, 2782, 1094, 1585, 95, 996, 1635, 462, 101, 2586, 702, 1186, 1200, 2658, 785, 1751, 2850, 1082, 1995, 1832, 592, 718, 2503, 845, 471, 917, 2668, 2022, 2520],
[153, 2870, 2700, 2222, 2289, 2362, 2880, 434, 237, 1157, 1217, 1258, 529, 216, 2039, 632, 801, 1177, 846, 3283, 2928, 556, 497, 2045, 488, 2415, 270, 932, 3309, 2207, 1567, 1072, 3038, 1143, 1162, 2202, 1093, 897, 1530, 1793, 875, 1533, 344, 2089, 1670, 1517, 3316, 1918, 1807, 689, 2044, 1087, 523, 1793, 29, 3297, 2309, 3292, 2088, 1136, 2044, 2922, 570, 414, 2765, 2010, 1848, 355, 2566, 256, 2477, 2794, 990, 882, 994, 1062, 485, 1696, 550, 648, 2853, 2085, 3065, 1942, 317, 2527, 1139, 671, 1979, 437, 57, 2648, 1536, 3309, 69, 1061, 779, 2239, 388, 2325, 648, 1406, 811, 2049, 1520, 2168, 2834, 935, 2073, 2211, 2863, 412, 374, 511, 1478, 1497, 1286, 1904, 1994, 49, 2022, 2931, 2250, 2824, 3277, 198, 135, 67, 2689, 942, 1624, 10, 2475, 3012, 2342, 620, 743, 1841, 2725, 351, 2842, 2368, 3198, 2234, 902, 1513, 1034, 3104, 2285, 2153, 692, 1349, 2132, 363, 1355, 932, 334, 1150, 2968, 496, 2963, 1153, 2525, 2895, 787, 1747, 2289, 657, 511, 2167, 863, 2640, 185, 3061, 139, 3245, 2298, 285, 1725, 3324, 1094, 2624, 2431, 3195, 1644, 2997, 929, 1264, 943, 1465, 884, 3262, 687, 2971, 711, 1222, 509, 119, 1482, 1233, 174, 1969, 2405, 1928, 3170, 1896, 781, 2754, 2283, 3300, 1106, 853, 3086, 2295, 694, 2001, 1864, 1166, 1783, 623, 231, 2970, 221, 2465, 839, 3095, 1322, 2849, 589, 239, 1850, 152, 2995, 2443, 1516, 509, 2137, 2231, 2276, 3156, 1772, 3261, 105, 2271, 2845, 3071, 2791, 2548, 571, 2241, 2621, 1945, 3259, 1238, 2645, 2941]]

BHat * rHat: [[1543, 2042, 1510, 2836, 1201, 2517, 2269, 179, 2136, 1238, 1383, 1803, 493, 2955, 3151, 3114, 1526, 2974, 2350, 4, 1260, 2779, 1774, 1509, 2880, 2684, 2612, 1779, 2610, 242, 2279, 2924, 2714, 210, 2765, 2912, 1737, 376, 2090, 3112, 2113, 1662, 891, 621, 2484, 2511, 1311, 2014, 395, 2519, 726, 796, 3074, 2714, 1336, 1669, 1272, 2131, 714, 1523, 1719, 1344, 669, 3130, 1254, 1492, 2878, 448, 2314, 336, 736, 2346, 2842, 2432, 2778, 1767, 2107, 2579, 884, 2490, 851, 2861, 1907, 1423, 116, 2521, 620, 1217, 1675, 1322, 1058, 200, 2651, 1753, 1460, 1280, 2913, 3219, 2773, 147, 738, 2656, 1455, 1688, 53, 2552, 1957, 2717, 1278, 678, 667, 294, 7, 836, 3224, 1846, 62, 574, 2446, 2639, 1747, 1911, 56, 2958, 2384, 223, 368, 2590, 2915, 541, 1855, 26, 652, 1692, 1555, 2431, 2461, 1852, 181, 2682, 1954, 591, 2169, 1335, 3209, 2526, 1862, 3108, 3004, 68, 1295, 1407, 3241, 2109, 1606, 3057, 2888, 1175, 1393, 911, 584, 89, 2305, 2683, 782, 3218, 1617, 19, 2209, 119, 2961, 141, 424, 28, 1874, 2287, 1264, 1326, 2725, 2876, 2694, 2237, 2529, 1851, 3078, 2013, 1574, 1222, 2029, 1185, 2870, 1424, 2724, 3292, 2679, 3088, 2311, 2703, 468, 356, 2705, 1483, 2729, 2718, 1225, 122, 3303, 3177, 2833, 3053, 1444, 1330, 3222, 3052, 2086, 2284, 3007, 506, 2570, 3220, 3139, 1385, 2444, 1138, 1341, 2767, 568, 1659, 784, 3218, 387, 1786, 3169, 308, 1169, 1873, 1585, 2188, 1603, 2695, 1532, 116, 3132, 2442, 1544, 1001, 835, 135, 3063, 2831, 2785, 2821, 2186, 1203, 1197, 3050],
[855, 2295, 2396, 1118, 2704, 3002, 565, 2103, 1429, 1441, 1242, 1576, 2583, 3119, 1139, 3018, 544, 1377, 2295, 3013, 2574, 1439, 821, 2014, 3087, 2157, 2434, 355, 2732, 2912, 256, 864, 593, 8, 2616, 106, 3056, 2697, 1801, 1734, 1270, 3157, 60, 1387, 1052, 1982, 2484, 3176, 2816, 1969, 628, 1358, 3153, 3256, 1461, 338, 2578, 2644, 1646, 1878, 2747, 997, 2614, 727, 1080, 133, 672, 842, 2712, 1418, 2037, 676, 1549, 1245, 484, 508, 1030, 1661, 2599, 642, 454, 186, 845, 3310, 2879, 2313, 156, 2644, 2236, 604, 783, 1517, 732, 2089, 1259, 2998, 2775, 2937, 2500, 291, 2532, 1756, 2864, 2294, 3191, 829, 177, 1517, 2062, 1439, 2751, 133, 1872, 3047, 2975, 729, 1421, 1456, 1163, 2328, 2561, 439, 439, 503, 2237, 1870, 1097, 24, 674, 220, 3318, 851, 1060, 1020, 2849, 703, 2635, 2069, 2037, 2951, 2918, 205, 1429, 2787, 1382, 2586, 405, 2514, 88, 3084, 519, 2053, 3116, 951, 2652, 1920, 296, 2216, 1285, 683, 935, 1984, 1775, 464, 1532, 3201, 2990, 1336, 726, 40, 2626, 342, 606, 1178, 1540, 3109, 2010, 2268, 939, 220, 759, 2749, 1763, 814, 2665, 1811, 850, 2335, 2294, 1206, 1667, 1102, 2159, 2394, 2172, 3289, 1505, 664, 1253, 1786, 2980, 1728, 2365, 2843, 738, 1760, 1232, 446, 3197, 2777, 257, 2884, 3119, 2519, 2060, 1728, 2968, 1082, 2682, 521, 877, 2171, 930, 1763, 2310, 1044, 236, 2134, 96, 1641, 58, 2641, 2003, 1507, 1108, 1760, 2299, 1637, 2372, 710, 1796, 769, 738, 3247, 1656, 2790, 1624, 2209, 1494, 1108, 2064, 1565, 1656, 1725, 1307, 3133]]
NTTInverse(BHat * rHat): [[1262, 1792, 1692, 1491, 741, 1006, 518, 2135, 3114, 433, 2704, 2877, 2631, 2987, 2765, 1430, 1319, 3062, 20, 2252, 1035, 1235, 1575, 706, 3139, 3047, 838, 2049, 682, 3276, 2954, 2263, 2640, 129, 3084, 2238, 1304, 288, 1791, 938, 2524, 2126, 43, 2683, 659, 669, 2697, 71, 2950, 349, 2044, 1138, 115, 3228, 257, 85, 3042, 2092, 801, 2577, 2370, 1051, 605, 604, 1421, 1188, 1290, 3270, 2004, 545, 2363, 802, 2442, 3289, 206, 1112, 2435, 2623, 552, 1088, 756, 1699, 314, 2919, 1314, 576, 186, 1908, 2657, 854, 3226, 2586, 2128, 2621, 991, 367, 1622, 52, 2528, 1782, 2638, 2568, 2330, 3101, 801, 1587, 2595, 2470, 224, 3238, 479, 2892, 2956, 42, 2270, 2117, 1652, 273, 1308, 2074, 2952, 990, 781, 1324, 2923, 1492, 126, 354, 2743, 3250, 3034, 937, 2617, 1870, 2838, 1116, 1910, 1377, 2697, 3320, 507, 366, 1472, 488, 1633, 2840, 371, 3091, 1538, 497, 347, 965, 1363, 496, 3318, 83, 2117, 2590, 2127, 2371, 308, 318, 1580, 573, 2925, 2738, 2638, 1632, 2813, 362, 2255, 1236, 632, 2049, 797, 2328, 1141, 58, 639, 2275, 2416, 2716, 387, 1532, 588, 991, 877, 756, 1199, 2816, 3048, 3322, 2798, 280, 1472, 2577, 2948, 243, 1327, 1918, 3142, 2251, 3222, 797, 91, 2406, 3323, 1063, 3207, 2337, 2741, 877, 2542, 2982, 1438, 2635, 458, 1792, 1479, 3026, 1599, 2391, 1159, 1807, 1653, 2296, 552, 419, 337, 112, 2731, 1754, 2949, 2935, 2112, 2731, 2524, 784, 2095, 2172, 1331, 2746, 3040, 116, 2295, 356, 3033, 2599, 1813, 2243, 1411, 987, 1441, 1760, 2699, 3135],
[1131, 1312, 870, 2363, 1580, 1447, 776, 544, 801, 2862, 2291, 2223, 3157, 1862, 797, 893, 2277, 2895, 2622, 2746, 289, 3319, 1456, 3194, 729, 192, 1937, 437, 1971, 2984, 2224, 3130, 707, 1873, 1863, 2758, 3168, 2702, 3031, 755, 575, 2682, 2775, 1028, 243, 598, 119, 2454, 1069, 1037, 972, 341, 1572, 1309, 2755, 2769, 2854, 2757, 2350, 800, 791, 364, 1114, 830, 361, 3321, 865, 2807, 3152, 1918, 64, 2708, 2444, 740, 54, 1363, 924, 2704, 328, 1292, 2389, 832, 1351, 780, 2281, 3137, 1463, 1004, 2911, 2868, 368, 2765, 1367, 2705, 343, 3304, 2982, 1020, 580, 1438, 166, 438, 1167, 3310, 2132, 1932, 3157, 109, 2040, 484, 685, 1462, 1023, 2813, 2326, 618, 588, 464, 697, 148, 15, 1036, 2928, 2515, 276, 153, 2448, 179, 575, 1312, 2120, 2721, 576, 569, 3042, 3229, 436, 1299, 2676, 1395, 2943, 2397, 1750, 2605, 1760, 163, 998, 3189, 2929, 733, 249, 2960, 1025, 2164, 1987, 975, 1564, 3024, 3195, 602, 1612, 2219, 1653, 3234, 457, 3211, 2897, 639, 2446, 2524, 2678, 2932, 2655, 2683, 2861, 1449, 2378, 2666, 2586, 2648, 1459, 946, 833, 2242, 2062, 847, 1570, 1476, 1796, 1620, 1702, 2770, 660, 1131, 2427, 1734, 2802, 1143, 1456, 2846, 2871, 2709, 764, 2119, 201, 402, 1536, 29, 2577, 1879, 765, 629, 3302, 1503, 2962, 2031, 3217, 2581, 1728, 769, 2535, 2356, 2431, 3158, 2645, 2164, 1248, 2736, 697, 1493, 382, 1497, 1474, 2210, 2213, 575, 3316, 2700, 3124, 2099, 1439, 276, 3056, 655, 1492, 497, 2214, 336, 648, 566, 1139, 2582, 445, 740, 2492, 3093]]
u = NTTInverse(BHat * rHat) + e1: [[1261, 1793, 1692, 1490, 741, 1006, 517, 2135, 3114, 432, 2704, 2877, 2632, 2988, 2765, 1430, 1318, 3062, 20, 2253, 1036, 1234, 1574, 707, 3139, 3047, 837, 2048, 683, 3277, 2956, 2261, 2639, 128, 3084, 2238, 1302, 288, 1791, 938, 2522, 2126, 41, 2682, 661, 670, 2699, 70, 2949, 349, 2044, 1138, 115, 3228, 257, 86, 3043, 2093, 800, 2579, 2370, 1053, 604, 603, 1421, 1189, 1290, 3271, 2003, 544, 2362, 802, 2440, 3289, 206, 1112, 2435, 2622, 551, 1088, 755, 1700, 313, 2919, 1312, 576, 184, 1907, 2657, 855, 3225, 2584, 2129, 2619, 990, 366, 1623, 51, 2527, 1782, 2637, 2569, 2332, 3102, 801, 1587, 2593, 2469, 222, 3238, 478, 2891, 2957, 41, 2272, 2119, 1651, 273, 1308, 2076, 2951, 988, 780, 1325, 2924, 1492, 127, 352, 2744, 3251, 3034, 938, 2616, 1871, 2836, 1117, 1911, 1378, 2698, 3319, 506, 365, 1472, 489, 1632, 2839, 371, 3090, 1538, 496, 348, 965, 1362, 496, 3319, 84, 2118, 2588, 2128, 2371, 307, 317, 1578, 575, 2924, 2738, 2638, 1631, 2812, 362, 2254, 1236, 630, 2047, 798, 2327, 1141, 59, 639, 2277, 2415, 2716, 387, 1533, 588, 992, 878, 756, 1201, 2815, 3048, 3323, 2799, 279, 1472, 2578, 2948, 244, 1327, 1920, 3142, 2252, 3222, 798, 93, 2407, 3324, 1063, 3207, 2338, 2741, 878, 2543, 2983, 1439, 2635, 457, 1793, 1479, 3026, 1598, 2393, 1159, 1807, 1652, 2296, 552, 418, 336, 111, 2729, 1753, 2949, 2936, 2113, 2732, 2525, 784, 2096, 2174, 1329, 2745, 3040, 115, 2294, 355, 3034, 2599, 1811, 2242, 1410, 987, 1440, 1760, 2699, 3136],
[1130, 1312, 869, 2365, 1581, 1446, 775, 545, 800, 2863, 2290, 2223, 3157, 1860, 797, 892, 2277, 2894, 2621, 2748, 288, 3318, 1456, 3193, 728, 193, 1937, 436, 1971, 2983, 2224, 3130, 708, 1872, 1863, 2758, 3167, 2703, 3032, 754, 575, 2681, 2776, 1029, 242, 599, 119, 2454, 1069, 1036, 973, 340, 1572, 1309, 2755, 2770, 2853, 2757, 2351, 801, 791, 363, 1114, 832, 361, 3322, 867, 2807, 3151, 1918, 65, 2708, 2445, 740, 55, 1361, 924, 2703, 327, 1293, 2389, 832, 1352, 779, 2279, 3137, 1463, 1003, 2912, 2867, 368, 2765, 1368, 2705, 344, 3304, 2983, 1020, 582, 1438, 166, 439, 1169, 3310, 2134, 1933, 3156, 108, 2042, 484, 685, 1462, 1024, 2812, 2326, 617, 586, 464, 699, 149, 16, 1038, 2928, 2516, 275, 155, 2448, 179, 576, 1311, 2120, 2722, 577, 569, 3041, 3229, 436, 1299, 2675, 1395, 2943, 2398, 1749, 2606, 1760, 162, 996, 3189, 2929, 732, 250, 2961, 1026, 2165, 1988, 976, 1566, 3025, 3197, 603, 1610, 2220, 1655, 3232, 458, 3212, 2897, 638, 2447, 2524, 2679, 2931, 2655, 2684, 2862, 1449, 2377, 2667, 2587, 2647, 1459, 947, 834, 2241, 2062, 847, 1570, 1477, 1797, 1620, 1701, 2770, 660, 1131, 2428, 1733, 2801, 1143, 1457, 2845, 2871, 2710, 763, 2119, 200, 403, 1536, 28, 2577, 1880, 764, 630, 3301, 1502, 2963, 2032, 3216, 2579, 1727, 770, 2535, 2356, 2431, 3159, 2645, 2162, 1247, 2736, 697, 1494, 382, 1497, 1473, 2209, 2212, 576, 3317, 2702, 3125, 2098, 1439, 276, 3057, 654, 1492, 498, 2216, 335, 647, 565, 1137, 2582, 446, 739, 2492, 3094]]

mu: [1665, 0, 0, 1665, 1665, 0, 0, 0, 1665, 1665, 1665, 0, 1665, 0, 1665, 0, 1665, 0, 1665, 0, 1665, 0, 1665, 0, 0, 0, 1665, 1665, 0, 1665, 1665, 1665, 0, 0, 1665, 0, 0, 0, 0, 0, 1665, 1665, 0, 1665, 1665, 1665, 0, 1665, 0, 1665, 1665, 0, 1665, 1665, 1665, 0, 1665, 0, 0, 0, 1665, 1665, 1665, 0, 0, 0, 1665, 0, 0, 0, 1665, 1665, 1665, 1665, 0, 0, 1665, 1665, 0, 0, 0, 0, 1665, 0, 1665, 0, 0, 0, 0, 1665, 1665, 0, 0, 0, 1665, 0, 1665, 1665, 0, 1665, 1665, 1665, 0, 1665, 0, 0, 0, 1665, 0, 1665, 1665, 1665, 1665, 0, 1665, 0, 1665, 0, 0, 1665, 1665, 0, 1665, 0, 0, 1665, 0, 0, 0, 0, 1665, 0, 1665, 0, 0, 0, 0, 0, 0, 0, 1665, 0, 0, 1665, 1665, 1665, 0, 0, 1665, 0, 1665, 0, 1665, 0, 0, 0, 0, 1665, 0, 0, 0, 1665, 0, 0, 0, 1665, 0, 1665, 1665, 1665, 1665, 0, 1665, 0, 0, 0, 0, 1665, 1665, 1665, 0, 1665, 1665, 0, 1665, 1665, 0, 0, 1665, 0, 0, 1665, 1665, 1665, 0, 1665, 1665, 0, 1665, 0, 0, 0, 1665, 0, 1665, 0, 1665, 0, 0, 0, 0, 0, 0, 1665, 0, 0, 0, 0, 0, 0, 0, 0, 1665, 1665, 1665, 0, 1665, 0, 1665, 0, 1665, 1665, 0, 1665, 0, 1665, 0, 1665, 1665, 1665, 0, 0, 1665, 0, 0, 0, 1665, 0, 1665, 0, 1665, 0, 0, 1665, 1665, 0]
tHat^T * rHat: [474, 1376, 1132, 3010, 891, 2219, 2908, 2935, 1253, 763, 2954, 1511, 2031, 331, 2722, 1959, 1548, 58, 2185, 2256, 2257, 692, 2086, 1659, 3002, 627, 2156, 2421, 2648, 13, 1169, 2843, 1429, 2709, 563, 992, 2112, 2855, 1367, 92, 1669, 3044, 1221, 2938, 919, 357, 1616, 2927, 1260, 77, 2778, 2526, 2148, 1749, 446, 2201, 3125, 1803, 784, 2865, 3074, 3057, 715, 1352, 203, 1281, 3021, 2640, 2088, 1453, 2081, 1846, 375, 1467, 1925, 1486, 1653, 78, 3047, 1159, 3119, 854, 1992, 2435, 949, 2631, 2924, 1393, 2232, 3067, 2685, 3159, 875, 197, 2418, 521, 2211, 2482, 2034, 1237, 1239, 2799, 3260, 508, 1583, 2208, 853, 2224, 187, 2505, 2902, 724, 492, 1388, 3239, 948, 3229, 594, 2246, 555, 131, 734, 2142, 1682, 1735, 1488, 2786, 223, 1346, 66, 936, 2635, 688, 3028, 1727, 945, 2259, 735, 883, 2039, 260, 2687, 1643, 3310, 1819, 2805, 1954, 107, 2899, 3172, 2126, 2686, 1656, 884, 2654, 1351, 23, 1013, 1695, 694, 224, 2518, 1195, 3034, 2178, 830, 1088, 2782, 1916, 1058, 3175, 1914, 2925, 264, 2699, 1523, 1140, 1949, 407, 686, 2624, 2646, 2078, 3080, 1324, 2449, 2388, 2390, 215, 2167, 190, 178, 1342, 3051, 637, 3012, 1031, 1600, 2066, 834, 2532, 2080, 2114, 115, 2480, 1006, 57, 208, 3068, 2594, 3205, 3067, 1244, 2583, 1495, 1844, 2610, 867, 3008, 698, 702, 835, 2898, 272, 2742, 210, 1750, 3128, 73, 1308, 634, 1916, 1286, 1831, 731, 3255, 1165, 2, 1559, 2539, 1751, 1680, 200, 1957, 2809, 2302, 2968, 399, 1064, 1227, 333, 2502, 2727, 510, 2271, 2451]
NTTInverse(tHat^T * rHat): [1121, 135, 2210, 1197, 1834, 3261, 1526, 865, 695, 1984, 3092, 2833, 763, 1317, 345, 713, 1, 1484, 632, 2551, 2446, 486, 1259, 376, 3102, 2743, 2082, 1299, 2606, 1823, 2957, 177, 3043, 200, 554, 2434, 1046, 1647, 711, 2409, 1465, 835, 2470, 2840, 1326, 1173, 159, 2113, 1887, 3242, 2935, 1698, 1918, 891, 1052, 2314, 2251, 1814, 2198, 356, 305, 1548, 607, 1413, 1205, 2524, 1311, 2635, 2176, 2517, 701, 444, 61, 1423, 1152, 2509, 184, 2048, 82, 908, 3227, 2433, 2769, 2125, 1145, 1743, 1501, 1694, 1346, 828, 957, 2822, 2588, 2758, 3044, 2766, 562, 2392, 3072, 3141, 1901, 3151, 2754, 2606, 2551, 1653, 314, 2106, 477, 2685, 2792, 1697, 2961, 730, 2228, 490, 1399, 1844, 2072, 2389, 485, 2141, 1680, 184, 891, 497, 953, 552, 371, 1682, 1958, 3274, 2237, 21, 793, 2266, 643, 2849, 1821, 313, 2310, 993, 239, 1906, 222, 1087, 435, 1833, 263, 2435, 62, 2402, 3174, 1401, 2068, 310, 2415, 2268, 1628, 2928, 1861, 2409, 1332, 1716, 3083, 22, 1172, 2393, 2300, 1465, 1995, 225, 2466, 149, 1770, 3098, 642, 2861, 736, 206, 352, 1741, 1404, 1739, 402, 2576, 3163, 1120, 108, 767, 938, 2507, 2034, 1415, 2998, 634, 286, 2494, 26, 938, 3326, 1119, 3059, 1412, 1527, 2190, 1492, 387, 547, 1227, 2762, 1379, 1023, 2151, 1925, 799, 1715, 3053, 759, 714, 2460, 1592, 1654, 1584, 774, 2901, 1501, 2187, 111, 296, 2520, 923, 47, 3019, 3187, 1018, 1100, 2185, 1146, 2734, 3063, 3069, 2020, 1239, 486, 598, 1936, 1595, 2447, 623, 293, 418, 1621, 1373, 2371, 1097]
e2 + mu: [1665, 2, 2, 1665, 1664, 0, 1, 1, 1666, 1667, 1666, 3328, 1664, 0, 1664, 2, 1665, 1, 1666, 1, 1664, 3328, 1664, 1, 3327, 3328, 1666, 1666, 0, 1665, 1664, 1666, 0, 0, 1663, 3328, 0, 1, 0, 1, 1665, 1666, 1, 1665, 1664, 1665, 1, 1663, 0, 1664, 1665, 0, 1665, 1664, 1664, 2, 1666, 1, 0, 0, 1666, 1664, 1664, 3328, 3328, 1, 1666, 0, 1, 3328, 1665, 1666, 1666, 1667, 0, 0, 1664, 1665, 1, 0, 3328, 0, 1666, 1, 1666, 3328, 0, 1, 3327, 1664, 1666, 1, 0, 3328, 1664, 3327, 1665, 1666, 3328, 1665, 1666, 1665, 3328, 1664, 3327, 3328, 0, 1665, 0, 1665, 1665, 1666, 1664, 3328, 1664, 3328, 1666, 1, 0, 1666, 1664, 0, 1664, 3328, 2, 1664, 3328, 0, 3328, 2, 1665, 0, 1665, 3327, 1, 0, 1, 1, 0, 2, 1665, 1, 0, 1665, 1664, 1665, 0, 1, 1664, 1, 1666, 0, 1665, 0, 0, 3328, 0, 1666, 1, 0, 0, 1666, 0, 0, 3328, 1666, 3328, 1664, 1664, 1664, 1665, 0, 1666, 0, 0, 0, 1, 1666, 1664, 1665, 0, 1666, 1666, 3328, 1665, 1666, 2, 0, 1665, 1, 1, 1664, 1666, 1665, 0, 1667, 1665, 1, 1666, 1, 1, 3328, 1665, 1, 1664, 1, 1665, 3328, 0, 0, 0, 3328, 1, 1663, 1, 3328, 3328, 3328, 1, 0, 3328, 0, 1667, 1665, 1664, 0, 1664, 3327, 1665, 3328, 1666, 1666, 0, 1665, 0, 1666, 0, 1664, 1666, 1665, 3328, 3328, 1666, 3328, 0, 0, 1663, 3327, 1663, 3327, 1664, 3327, 3328, 1667, 1666, 0]
v = NTTInverse(tHat^T * rHat) + e2 + mu: [2786, 137, 2212, 2862, 169, 3261, 1527, 866, 2361, 322, 1429, 2832, 2427, 1317, 2009, 715, 1666, 1485, 2298, 2552, 781, 485, 2923, 377, 3100, 2742, 419, 2965, 2606, 159, 1292, 1843, 3043, 200, 2217, 2433, 1046, 1648, 711, 2410, 3130, 2501, 2471, 1176, 2990, 2838, 160, 447, 1887, 1577, 1271, 1698, 254, 2555, 2716, 2316, 588, 1815, 2198, 356, 1971, 3212, 2271, 1412, 1204, 2525, 2977, 2635, 2177, 2516, 2366, 2110, 1727, 3090, 1152, 2509, 1848, 384, 83, 908, 3226, 2433, 1106, 2126, 2811, 1742, 1501, 1695, 1344, 2492, 2623, 2823, 2588, 2757, 1379, 2764, 2227, 729, 3071, 1477, 238, 1487, 2753, 941, 2549, 1652, 314, 442, 477, 1021, 1128, 34, 1296, 729, 563, 489, 3065, 1845, 2072, 726, 2149, 2141, 15, 183, 893, 2161, 952, 552, 370, 1684, 294, 3274, 573, 19, 794, 2266, 644, 2850, 1821, 315, 646, 994, 239, 242, 1886, 2752, 435, 1834, 1927, 2436, 1728, 2402, 1510, 1401, 2068, 309, 2415, 605, 1629, 2928, 1861, 746, 1332, 1716, 3082, 1688, 1171, 728, 635, 3129, 331, 225, 803, 149, 1770, 3098, 643, 1198, 2400, 1871, 352, 78, 3070, 1738, 2067, 913, 3165, 1120, 1773, 768, 939, 842, 371, 3080, 2998, 2301, 1951, 2495, 1692, 939, 3327, 1118, 1395, 1413, 3191, 2191, 3157, 386, 547, 1227, 2762, 1378, 1024, 485, 1926, 798, 1714, 3052, 760, 714, 2459, 1592, 3321, 3249, 2438, 2901, 3165, 2185, 1776, 295, 857, 2589, 47, 1355, 3187, 2684, 1100, 520, 2812, 1070, 3062, 3068, 357, 1238, 486, 598, 270, 1593, 781, 621, 1957, 416, 1620, 3040, 708, 1097]

KBar: 59083ED864711F4AE886A8F055932D84294CEAB01B51A0F12ABBA30EB9809715
cPrime: 84A188A072E4D4F449A4BE170274DD2A5F3E356E95B96E40AD3FF1455E36C6A71E909DD2C0DFF8AD2C9F503BAC9065716248083BDA40CECB38E3B3058BAF51A7572384FF8406A8136A4FC6D912A54B2EB5B9D598FB689E72ED3DEFD2FF8355ED9E9CCA53E82C0886E094C592C392311F04FEC68F9A1C531CF3419030892B5BDCACEEF6A0E7F1BD44903F49DE8E37B02BA3FC5121D99F8CC3040F66832F77021B4CA35F7A4825038936564CA2E673FF9CC0519C25F6A52D87EDD965B2464AA365D2BF068B72FC68B65E88515E2C832BBDB27D61BF512B5FC2D8590FB35F49500CAFE70E7D0776B5C4E4503A7189ADBAFF5D5B515CC68B2F81D993C6D7FA7D3D1D90EBFF51DA3FBBB4430E5BBEDBCA8DA078DCE8EC815B168BFC09AB4A20678870F4868B1FAE28D209C75368A799317DFA08C2B651FAC72DCA2A1B4CBB75E873F15C51B6D0B5E6F5E60E2AF6C40D2CABCBF3588F44BCEA6D72D359F40F9CF5E0EC40A5215E5ACEEAF0DA00D923D4CEFF5C3A3AB1E46C754F4AE052C2BC49FDB4521AE44DF634D56E433DAD3DF3C07115406FF8BFD0D7C93B4941D0F09213C1681CFD5C8663DF02041A3CBD162F5C4D80CB1DC7D4A501AD06FE96EB348B6E331C8296FE904EB97C087456328D703B85BDAC2FB43C728D0B05FC54B8C155C010EF0DB14CC668D1B1BC727AF8864076736B898BABA1C81DCA2053F58587D3C4E33C694A264BE2897E7D2EEFADDA9FF88D70BF3731F1228CB3E131EB0CB76FDBD2CCB1CBC18D1450AC7A16349E7129CAB720D5CB70B56E855E8305DCDA730BBD0EA33EF0815D02190BB98E30F73BF7789CDD673C613B0C57CB2EF32E670A98D2D630670773C59D8A6A2CFCFF1C7CA1BB55C17A32CB65A2EA19C7B8E295C6898CF32FEE1DEB01472BE76C3A78CB242EDFE21D961FCB85C3CF6CEE218986C1BD932BF97BC6DECAABF8C62940C0A58E87C6EDDCD74B7F715D8C22520546239F3AAA10A435820103B4E3295311D992C9C8771A3CE849868F36F31214F9639C028F4A5F4945F2BEC9585077BF2F637D2549F8348C00ECBF19C470DF255EFF6232813429F853

Accepted, returning KPrime
